go/types.object.typ (field)
146 uses
go/types (current package)
assignments.go#L106: if x.mode == invalid || x.typ == Typ[Invalid] || lhs.typ == Typ[Invalid] {
assignments.go#L107: if lhs.typ == nil {
assignments.go#L108: lhs.typ = Typ[Invalid]
assignments.go#L116: if lhs.typ == nil {
assignments.go#L117: lhs.typ = Typ[Invalid]
assignments.go#L124: if lhs.typ == nil {
assignments.go#L125: lhs.typ = x.typ
assignments.go#L128: check.assignment(x, lhs.typ, "constant declaration")
assignments.go#L137: if x.mode == invalid || x.typ == Typ[Invalid] || lhs.typ == Typ[Invalid] {
assignments.go#L138: if lhs.typ == nil {
assignments.go#L139: lhs.typ = Typ[Invalid]
assignments.go#L145: if lhs.typ == nil {
assignments.go#L151: lhs.typ = Typ[Invalid]
assignments.go#L156: lhs.typ = typ
assignments.go#L159: check.assignment(x, lhs.typ, context)
assignments.go#L252: res = append(res, x.typ)
assignments.go#L323: if obj.typ == nil {
assignments.go#L324: obj.typ = Typ[Invalid]
builtins.go#L808: if hasVarSize(f.typ) {
call.go#L227: x.typ = sig.results.vars[0].typ // unpack tuple
call.go#L258: xlist[i] = &operand{mode: value, expr: e, typ: v.typ}
call.go#L335: typ := last.typ.(*Slice).elem
call.go#L414: check.assignment(a, sigParams.vars[i].typ, context)
call.go#L498: x.typ = exp.typ
call.go#L502: x.typ = exp.typ
call.go#L505: x.typ = exp.typ
call.go#L511: x.typ = exp.typ
call.go#L514: x.typ = x.typ.(*Signature).results.vars[0].typ
call.go#L518: x.typ = exp.typ
call.go#L604: sig := m.typ.(*Signature)
call.go#L651: x.typ = obj.typ
call.go#L706: sig := *obj.typ.(*Signature)
check.go#L165: alias.typ = Typ[Invalid]
check.go#L171: alias.typ = typ
check.go#L176: return alias.typ == Typ[Invalid] && check.brokenAliases[alias]
decl.go#L132: if !check.validCycle(obj) || obj.typ == nil {
decl.go#L133: obj.typ = Typ[Invalid]
decl.go#L137: if !check.validCycle(obj) || obj.typ == nil {
decl.go#L138: obj.typ = Typ[Invalid]
decl.go#L148: obj.typ = Typ[Invalid]
decl.go#L236: if check.inTParamList && isGeneric(obj.typ) {
decl.go#L418: assert(obj.typ == nil)
decl.go#L440: obj.typ = Typ[Invalid]
decl.go#L443: obj.typ = t
decl.go#L464: assert(obj.typ == nil)
decl.go#L468: obj.typ = check.varType(typ)
decl.go#L483: obj.typ = Typ[Invalid]
decl.go#L516: lhs.typ = obj.typ
decl.go#L534: assert(obj.typ == nil)
decl.go#L538: if t, _ := obj.typ.(*Named); t != nil { // type may be invalid
decl.go#L712: base, _ := obj.typ.(*Named) // shouldn't fail but be conservative
decl.go#L779: assert(obj.typ == nil)
decl.go#L785: obj.typ = sig // guard against cycles
decl.go#L880: assert(obj.typ != nil)
expr.go#L1389: etyp := fld.typ
expr.go#L1418: etyp := fld.typ
infer.go#L247: if isParameterized(tparams, par.typ) {
infer.go#L258: if !u.unify(par.typ, targ) {
infer.go#L259: errorf("type", par.typ, targ, arg)
infer.go#L262: } else if _, ok := par.typ.(*TypeParam); ok {
infer.go#L294: tpar := params.At(i).typ.(*TypeParam) // is type parameter by construction of indices
infer.go#L393: if w.isParameterized(fld.typ) {
infer.go#L404: if w.isParameterized(t.At(i).typ) {
infer.go#L422: if w.isParameterized(m.typ) {
infer.go#L755: w.typ(m.typ)
infer.go#L785: w.typ(v.typ)
interface.go#L61: if sig := m.typ.(*Signature); sig.recv == nil {
lookup.go#L156: assert(f.typ != nil)
lookup.go#L175: typ, isPtr := deref(f.typ)
lookup.go#L186: assert(m.typ != nil)
lookup.go#L326: if !Identical(f.typ, m.typ) {
lookup.go#L360: if !found || !Identical(f.typ, m.typ) {
lookup.go#L388: if Identical(m.typ, alt.typ) {
lookup.go#L428: WriteSignature(buf, f.typ.(*Signature), qf)
methodset.go#L141: typ, isPtr := deref(f.typ)
named.go#L70: if obj.typ == nil {
named.go#L71: obj.typ = typ
named.go#L157: origSig := origm.typ.(*Signature)
object.go#L87: typ Type
object.go#L139: func (obj *object) Type() Type { return obj.typ }
object.go#L155: func (obj *object) setType(typ Type) { obj.typ = typ }
object.go#L255: switch t := obj.typ.(type) {
object.go#L347: func (obj *Func) Scope() *Scope { return obj.typ.(*Signature).scope }
object.go#L355: if sig, _ := obj.typ.(*Signature); sig != nil && sig.recv != nil {
object.go#L356: _, isPtr := deref(sig.recv.typ)
object.go#L379: return &Label{object{pos: pos, pkg: pkg, name: name, typ: Typ[Invalid], color_: black}, false}
object.go#L390: return &Builtin{object{name: predeclaredFuncs[id].name, typ: Typ[Invalid], color_: black}, id}
object.go#L531: if f.typ != nil {
object.go#L532: sig := f.typ.(*Signature)
predicates.go#L130: if !comparable(f.typ, dynamic, seen, nil) {
predicates.go#L132: reportf("struct containing %s cannot be compared", f.typ)
predicates.go#L219: !identical(f.typ, g.typ, cmpTags, p) {
predicates.go#L241: if !identical(v.typ, w.typ, cmpTags, p) {
predicates.go#L366: if f.Id() != g.Id() || !identical(f.typ, g.typ, cmpTags, q) {
resolver.go#L627: if obj, _ := obj.(*TypeName); obj != nil && obj.typ != nil {
selection.go#L65: sig := *s.obj.(*Func).typ.(*Signature)
selection.go#L67: recv.typ = s.recv
selection.go#L76: sig := *s.obj.(*Func).typ.(*Signature)
selection.go#L79: arg0.typ = s.recv
signature.go#L52: if _, ok := params.At(n - 1).typ.(*Slice); !ok {
signature.go#L209: rtyp, _ := deref(recv.typ)
signature.go#L221: check.errorf(recv, _InvalidRecv, "cannot define methods on instantiated type %s", recv.typ)
signature.go#L230: check.errorf(recv, _InvalidRecv, "cannot define new methods on non-local type %s", recv.typ)
signature.go#L256: check.errorf(recv, _InvalidRecv, "cannot define new methods on non-local type %s", recv.typ)
signature.go#L260: check.errorf(recv, _InvalidRecv, "invalid receiver type %s", recv.typ)
signature.go#L263: check.errorf(recv, _InvalidRecv, "invalid receiver type %s (%s)", recv.typ, err)
signature.go#L327: last.typ = &Slice{elem: last.typ}
signature.go#L328: check.recordTypeAndValue(list.List[len(list.List)-1].Type, typexpr, last.typ, nil)
sizes.go#L62: if a := s.Alignof(f.typ); a > max {
sizes.go#L101: a := s.Alignof(f.typ)
sizes.go#L104: o += s.Sizeof(f.typ)
sizes.go#L155: return offsets[n-1] + s.Sizeof(t.fields[n-1].typ)
sizes.go#L254: typ = s.fields[i].typ
stmt.go#L901: obj.typ = Typ[Invalid]
subst.go#L292: if typ := subst.typ(v.typ); typ != v.typ {
subst.go#L301: copy.typ = typ
subst.go#L334: if typ := subst.typ(f.typ); typ != f.typ {
subst.go#L336: copy.typ = typ
typeparam.go#L48: if obj.typ == nil {
typeparam.go#L49: obj.typ = typ
typeset.go#L247: if !check.allowVersion(m.pkg, 1, 14) || !Identical(m.typ, other.Type()) {
typeset.go#L321: if !Identical(m.typ, other.typ) {
typestring.go#L165: w.typ(f.typ)
typestring.go#L238: w.signature(m.typ.(*Signature))
typestring.go#L331: w.signature(m.typ.(*Signature))
typestring.go#L416: typ := v.typ
typestring.go#L462: w.typ(sig.results.vars[0].typ)
unify.go#L431: !u.nify(f.typ, g.typ, p) {
unify.go#L453: if !u.nify(v.typ, w.typ, p) {
unify.go#L525: if f.Id() != g.Id() || !u.nify(f.typ, g.typ, q) {
universe.go#L139: def(&Nil{object{name: "nil", typ: Typ[UntypedNil], color_: black}})
validtype.go#L44: if check.validType0(f.typ, env, path) == invalid {